Nuprl Lemma : set_le_wf 13,42

p:PosetSig. ( |p||p| 
latex


Upposet sig object directory
Definitions of StatementPosetSig, |p|,
Definitionst.2, t.1, , |p|, t  T, x:AB(x), PosetSig
Lemmasposet sig wf

origin